Call graph

Results: 97



#Item
51Computing / Digital signal processing / Signal processing / Aliasing / Program analysis / Pointer aliasing / Alias analysis / Call graph / Reference / Compiler construction / Software engineering / Programming language theory

How is Aliasing Used in Systems Software? Brian Hackett Alex Aiken Computer Science Department Stanford University

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2006-09-05 19:58:01
52Software engineering / Concurrency control / Concurrency / Concurrent computing / Thread / Lock / Parallel computing / Deadlock / Call graph / Computing / Program analysis / Static program analysis

Effective Static Race Detection for Java Mayur Naik Alex Aiken John Whaley

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2006-03-28 01:09:33
53Method / Reflection / Datalog / Objective-C / Java Native Interface / Java / Call graph / Graph / Constructor / Computing / Software engineering / Computer programming

Reflection Analysis for Java Benjamin Livshits, John Whaley, and Monica S. Lam? Computer Science Department Stanford University Stanford, CA 94305, USA {livshits, jwhaley, lam}@cs.stanford.edu

Add to Reading List

Source URL: suif.stanford.edu

Language: English - Date: 2005-09-07 13:39:43
54Linked list / Heap / Variable / Compiler optimization / Graph / Data-flow analysis / Call stack / Tree / Mathematics / Software engineering / Computing

LNCSEfficient Context-Sensitive Shape Analysis with Graph Based Heap Models

Add to Reading List

Source URL: clip.dia.fi.upm.es

Language: English - Date: 2008-04-28 11:37:29
55Linked list / Heap / Variable / Compiler optimization / Graph / Data-flow analysis / Call stack / Tree / Mathematics / Software engineering / Computing

LNCSEfficient Context-Sensitive Shape Analysis with Graph Based Heap Models

Add to Reading List

Source URL: www.clip.dia.fi.upm.es

Language: English - Date: 2008-04-28 11:37:29
56Am486 / Programming language implementation / X86 / Call graph / Compiler / Stack / Compiler construction / Computing / Software

StackAnalyzer for Am486 StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call grap

Add to Reading List

Source URL: www.absint.com

Language: English - Date: 2015-01-19 06:15:30
57Elementary mathematics / Operations research / Call graph / Function / Algorithm / Graph / Static single assignment form / Mathematical optimization / Mathematics / Compiler construction / Theoretical computer science

A Scaling Context Sensitive Points-to Analysis by Geometric Encoding Xiao Xiao, The Hong Kong University of Science and Technology Charles Zhang, The Hong Kong University of Science and Technology Context sensitive poin

Add to Reading List

Source URL: www.cse.ust.hk

Language: English - Date: 2014-05-26 01:03:11
58Elementary mathematics / Operations research / Call graph / Function / Algorithm / Graph / Static single assignment form / Mathematical optimization / Mathematics / Compiler construction / Theoretical computer science

A Scaling Context Sensitive Points-to Analysis by Geometric Encoding Xiao Xiao, The Hong Kong University of Science and Technology Charles Zhang, The Hong Kong University of Science and Technology Context sensitive poin

Add to Reading List

Source URL: www.cse.ust.hk

Language: English - Date: 2014-05-26 01:03:39
59Network theory / Shortest path problem / Algorithm / Control flow analysis / Heuristic function / Call graph / Mathematics / Graph theory / Theoretical computer science

∗ Statically-Directed Dynamic Automated Test Generation Domagoj Babi´c Lorenzo Martignoni

Add to Reading List

Source URL: bitblaze.cs.berkeley.edu

Language: English - Date: 2013-03-28 20:19:29
60Structure / Graph theory / Graph / Covering graph

A COVERING-GRAPH APPROACH TO EPIDEMICS ON SIS AND SIS-LIKE NETWORKS WILLIAM FLOYD, LESLIE KAY, AND MICHAEL SHAPIRO Abstract. In this paper we introduce a new class of epidemics on networks which we call SI(S/I). SI(S/I)

Add to Reading List

Source URL: www.math.vt.edu

Language: English - Date: 2011-05-24 09:05:15
UPDATE